Goal-driven Reasoning in First-order Logic
نویسنده
چکیده
A complete, subformula-preserving proof system for goal-driven reasoning in first-order logic is presented. The proof system is a transition system and its proofs are (linear and local) computations in the transistion system. Thus the proof system fits into a standard framework for modeling problem-solving in cognitive psychology. §
منابع مشابه
A comparison between knowledge-driven fuzzy and data-driven artificial neural network approaches for prospecting porphyry Cu mineralization; a case study of Shahr-e-Babak area, Kerman Province, SE Iran
The study area, located in the southern section of the Central Iranian volcano–sedimentary complex, contains a large number of mineral deposits and occurrences which is currently facing a shortage of resources. Therefore, the prospecting potential areas in the deeper and peripheral spaces has become a high priority in this region. Different direct and indirect methods try to predict promising a...
متن کاملABox Abduction in Description Logic
In this thesis we elaborate on logic-based automated reasoning techniques for abduction, driven by the principle of goal-oriented reasoning. In the first part we develop two variants of a computational framework for abduction in propositional logic, based on regular connection tableaux and resolution with set-of-support. The procedures are proven to be sound and complete calculi for finding con...
متن کاملOn First-Order Model-Based Reasoning
Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a selection of semantically-guided or modelbased methods that aim at meeting aspects of this challenge. For firstorder logic we touch upon resolution-based methods, tableaux-based methods, DPLL-inspired methods, and we give a preview of a new method called SGGS, for Semantically-Guided Goal-Sensitive reas...
متن کاملLogic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and semantics defined concretely on the domain of real numbers. Logical constants are interpreted as feature vectors of real numbers. Real Logic promotes a well-fou...
متن کاملA Syllogistic Reasoning Theory and Three Examples
A recent meta-study shows that the conclusions driven by human reasoners in psychological experiments about syllogistic reasoning are not the conclusions predicted by classical first-order logic. Moreover, current cognitive theories deviate significantly from the empirical data. In the following, three important cognitive approaches are presented and compared to predictions made by a new approa...
متن کامل